The Membership Problem for Ideals in Z[x]
نویسنده
چکیده
There exists a feasible procedure to decide whether or not an arbitrary polynomial belongs to a given ideal in Z[x] if the ideal’s minimal basis is known. However, when this is not the case there is no feasible procedure to decide whether or not an arbitrary polynomial belongs to a given ideal. There already exists an effective procedure to find an ideal’s minimal basis, but it depends on solving the membership problem for the ideal (i.e. the problem of deciding whether an arbitrary polynomial belongs to the ideal). Therefore, we develop a modification of the existing algorithm to find an ideal’s minimal basis so that there is no need to solve the membership problem to carry it out, and then we use this minimal basis to solve the membership problem for this ideal.
منابع مشابه
ASSOCIATED PRIME IDEALS IN C(X)
The minimal prime decomposition for semiprime ideals is defined and studied on z-ideals of C(X). The necessary and sufficient condition for existence of the minimal prime decomposition of a z-ideal / is given, when / satisfies one of the following conditions: (i) / is an intersection of maximal ideals. (ii) I is an intersection of O , s, when X is basically disconnected. (iii) I=O , when x X h...
متن کاملz_R-Ideals and z^0_R -Ideals in Subrings of R^X
Let X be a topological space and R be a subring of RX. By determining some special topologies on X associated with the subring R, characterizations of maximal fixxed and maximal growing ideals in R of the form Mx(R) are given. Moreover, the classes of zR-ideals and z0R-ideals are introduced in R which are topological generalizations of z-ideals and z0-ideals of C(X), respectively. Various c...
متن کاملz-weak ideals and prime weak ideals
In this paper, we study a generalization of z-ideals in the ring C(X) of continuous real valued functions on a completely regular Hausdorff space X. The notion of a weak ideal and naturally a weak z-ideal and a prime weak ideal are introduced and it turns out that they behave such as z-ideals in C(X).
متن کاملConnections between C(X) and C(Y), where Y is a subspace of X
In this paper, we introduce a method by which we can find a close connection between the set of prime $z$-ideals of $C(X)$ and the same of $C(Y)$, for some special subset $Y$ of $X$. For instance, if $Y=Coz(f)$ for some $fin C(X)$, then there exists a one-to-one correspondence between the set of prime $z$-ideals of $C(Y)$ and the set of prime $z$-ideals of $C(X)$ not containing $f$. Moreover, c...
متن کاملSums of Strongly z-Ideals and Prime Ideals in ${mathcal{R}} L$
It is well-known that the sum of two $z$-ideals in $C(X)$ is either $C(X)$ or a $z$-ideal. The main aim of this paper is to study the sum of strongly $z$-ideals in ${mathcal{R}} L$, the ring of real-valued continuous functions on a frame $L$. For every ideal $I$ in ${mathcal{R}} L$, we introduce the biggest strongly $z$-ideal included in $I$ and the smallest strongly $z$-ideal containing ...
متن کامل